<?xml version='1.0' encoding='UTF-8'?>
<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.1//EN" "http://www.w3.org/TR/xhtml11/DTD/xhtml11.dtd">
<html>
        <head>
          <title>giantnums</title>
          <meta http-equiv="content-type" content="text/html; charset=UTF-8" />
          
      <link type="text/css" media="screen" rel="stylesheet" href="../lib/template.css" />
      <script type="text/javascript" src="../lib/jquery.js"></script>
      <script type="text/javascript" src="../lib/jquery-ui.js"></script>
      <script type="text/javascript" src="../lib/template.js"></script>
      <script type="text/javascript" src="../lib/tools.tooltip.js"></script>
    
        </head>
        <body onload="sh_highlightDocument('../lib/', '.min.js');" class="value">
      <div id="definition">
        <img src="../lib/package_big.png" />
        
        <h1>giantnums</h1>
      </div>

      <h4 class="signature" id="signature">
      <span class="modifier_kind">
        <span class="modifier"></span>
        <span class="kind">package</span>
      </span>
      <span class="symbol">
        <span class="name">giantnums</span>
      </span>
      </h4>
      
      <div class="fullcommenttop" id="comment"></div>
    

      <div id="mbrsel">
        <div id="textfilter"><span class="pre"></span><span class="input"><input accesskey="/" type="text" /></span><span class="post"></span></div>
        
        
        <div id="visbl">
            <span class="filtertype">Visibility</span>
            <ol><li class="public in"><span>Public</span></li><li class="all out"><span>All</span></li></ol>
          </div>
      </div>

      <div id="template">
        <div id="allMembers">
        

        <div class="types members" id="types">
              <h3>Type Members</h3>
              <ol><li visbl="pub" name="giantnums.AlgT" data-isabs="true">
      <a id="AlgT:AlgT"></a>
      <h4 class="signature">
      <span class="modifier_kind">
        <span class="modifier"></span>
        <span class="kind">trait</span>
      </span>
      <span class="symbol">
        <a href="AlgT.html"><span class="name">AlgT</span></a><span class="result"> extends AnyRef</span>
      </span>
      </h4>
      <p class="comment cmt">this trait implements a number of
constant time (on the average) operations
</p>
    </li><li visbl="pub" name="giantnums.GiantNaturals" data-isabs="true">
      <a id="GiantNaturals:GiantNaturals"></a>
      <h4 class="signature">
      <span class="modifier_kind">
        <span class="modifier"></span>
        <span class="kind">trait</span>
      </span>
      <span class="symbol">
        <a href="GiantNaturals.html"><span class="name">GiantNaturals</span></a><span class="result"> extends AlgT</span>
      </span>
      </h4>
      <p class="comment cmt">arithmetic computations with objects from AlgT
</p>
    </li><li visbl="pub" name="giantnums.GiantNumTester" data-isabs="true">
      <a id="GiantNumTester:GiantNumTester"></a>
      <h4 class="signature">
      <span class="modifier_kind">
        <span class="modifier"></span>
        <span class="kind">trait</span>
      </span>
      <span class="symbol">
        <a href="GiantNumTester.html"><span class="name">GiantNumTester</span></a><span class="result"> extends GiantRationals</span>
      </span>
      </h4>
      
    </li><li visbl="pub" name="giantnums.GiantRationals" data-isabs="true">
      <a id="GiantRationals:GiantRationals"></a>
      <h4 class="signature">
      <span class="modifier_kind">
        <span class="modifier"></span>
        <span class="kind">trait</span>
      </span>
      <span class="symbol">
        <a href="GiantRationals.html"><span class="name">GiantRationals</span></a><span class="result"> extends GiantNaturals</span>
      </span>
      </h4>
      
    </li><li visbl="pub" name="giantnums.M" data-isabs="false">
      <a id="M:M"></a>
      <h4 class="signature">
      <span class="modifier_kind">
        <span class="modifier"></span>
        <span class="kind">case class</span>
      </span>
      <span class="symbol">
        <a href="M.html"><span class="name">M</span></a><span class="params">(<span name="x">x: (AlgT, AlgT)</span>)</span><span class="result"> extends Q with Product with Serializable</span>
      </span>
      </h4>
      
    </li><li visbl="pub" name="giantnums.P" data-isabs="false">
      <a id="P:P"></a>
      <h4 class="signature">
      <span class="modifier_kind">
        <span class="modifier"></span>
        <span class="kind">case class</span>
      </span>
      <span class="symbol">
        <a href="P.html"><span class="name">P</span></a><span class="params">(<span name="x">x: (AlgT, AlgT)</span>)</span><span class="result"> extends Q with Product with Serializable</span>
      </span>
      </h4>
      
    </li><li visbl="pub" name="giantnums.Q" data-isabs="true">
      <a id="Q:Q"></a>
      <h4 class="signature">
      <span class="modifier_kind">
        <span class="modifier"></span>
        <span class="kind">trait</span>
      </span>
      <span class="symbol">
        <a href="Q.html"><span class="name">Q</span></a><span class="result"> extends GiantRationals</span>
      </span>
      </h4>
      
    </li><li visbl="pub" name="giantnums.V" data-isabs="false">
      <a id="V:V"></a>
      <h4 class="signature">
      <span class="modifier_kind">
        <span class="modifier">final </span>
        <span class="kind">case class</span>
      </span>
      <span class="symbol">
        <a href="V.html"><span class="name">V</span></a><span class="params">(<span name="x">x: AlgT</span>, <span name="xs">xs: List[AlgT]</span>)</span><span class="result"> extends AlgT with Product with Serializable</span>
      </span>
      </h4>
      
    </li><li visbl="pub" name="giantnums.W" data-isabs="false">
      <a id="W:W"></a>
      <h4 class="signature">
      <span class="modifier_kind">
        <span class="modifier">final </span>
        <span class="kind">case class</span>
      </span>
      <span class="symbol">
        <a href="W.html"><span class="name">W</span></a><span class="params">(<span name="x">x: AlgT</span>, <span name="xs">xs: List[AlgT]</span>)</span><span class="result"> extends AlgT with Product with Serializable</span>
      </span>
      </h4>
      
    </li></ol>
            </div>

        

        <div class="values members" id="values">
              <h3>Value Members</h3>
              <ol><li visbl="pub" name="giantnums.I" data-isabs="false">
      <a id="I:I"></a>
      <h4 class="signature">
      <span class="modifier_kind">
        <span class="modifier"></span>
        <span class="kind">object</span>
      </span>
      <span class="symbol">
        <a href="I$.html"><span class="name">I</span></a><span class="result"> extends AlgT</span>
      </span>
      </h4>
      <p class="comment cmt">defintion of &quot;generalized&quot; constructor/destructor/recognizer I
representing x&lt;-&gt;2*x+2 on trees of type AlgT</p>
    </li><li visbl="pub" name="giantnums.Main" data-isabs="false">
      <a id="Main:Main"></a>
      <h4 class="signature">
      <span class="modifier_kind">
        <span class="modifier"></span>
        <span class="kind">object</span>
      </span>
      <span class="symbol">
        <a href="Main$.html"><span class="name">Main</span></a><span class="result"> extends App with GiantNumTester</span>
      </span>
      </h4>
      
    </li><li visbl="pub" name="giantnums.O" data-isabs="false">
      <a id="O:O"></a>
      <h4 class="signature">
      <span class="modifier_kind">
        <span class="modifier"></span>
        <span class="kind">object</span>
      </span>
      <span class="symbol">
        <a href="O$.html"><span class="name">O</span></a><span class="result"> extends AlgT</span>
      </span>
      </h4>
      <p class="comment cmt">defintion of &quot;generalized&quot; constructor/destructor/recognizer O
representing x&lt;-&gt;2*x+1 on trees of type AlgT</p>
    </li><li visbl="pub" name="giantnums.S" data-isabs="false">
      <a id="S:S"></a>
      <h4 class="signature">
      <span class="modifier_kind">
        <span class="modifier"></span>
        <span class="kind">object</span>
      </span>
      <span class="symbol">
        <a href="S$.html"><span class="name">S</span></a><span class="result"> extends AlgT</span>
      </span>
      </h4>
      <p class="comment cmt">definition of successor/predecessor S
representing x&lt;-&gt;x+1 on trees of type AlgT</p>
    </li><li visbl="pub" name="giantnums.T" data-isabs="false">
      <a id="T:T"></a>
      <h4 class="signature">
      <span class="modifier_kind">
        <span class="modifier"></span>
        <span class="kind">object</span>
      </span>
      <span class="symbol">
        <a href="T$.html"><span class="name">T</span></a><span class="result"> extends AlgT with Product with Serializable</span>
      </span>
      </h4>
      
    </li><li visbl="pub" name="giantnums.Z" data-isabs="false">
      <a id="Z:Z"></a>
      <h4 class="signature">
      <span class="modifier_kind">
        <span class="modifier"></span>
        <span class="kind">object</span>
      </span>
      <span class="symbol">
        <a href="Z$.html"><span class="name">Z</span></a><span class="result"> extends Q with Product with Serializable</span>
      </span>
      </h4>
      
    </li></ol>
            </div>

        
        </div>

        <div id="inheritedMembers">
        
        </div>

      </div>

      <div id="tooltip"></div>

      <div id="footer">  </div>


    </body>
      </html>